منابع مشابه
Baire Spaces, Sober Spaces
In the article concepts and facts necessary to continue forma-lization of theory of continuous lattices according to [10] are introduced. The notation and terminology used here are introduced in the following papers:
متن کاملSober Spaces and Continuations
A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational values are determined by the observations that can be made of them. A new definition of sobriety is formulated in terms of lambda calculus and elementary category theory, with no reference to lattice structure, but, for topological spaces, this...
متن کاملGet sober; stay sober.
In the decades since alcoholism became widely recognized as a disease (Jellinek, 1960), evidence for alcohol-induced physical damage has accumulated both in quantity and in detail. Prominent amongst the affected organ systems at-risk is the brain, which responds to alcohol in a variety of ways. Free radicals formed during metabolism of alcohol damage the brain. Acetaldehyde, which is generated ...
متن کاملBaire Spaces , Sober Spaces 1 Andrzej
In the article concepts and facts necessary to continue formalization of theory of continuous lattices according to [11] are introduced. and [4] provide the notation and terminology for this paper. 1. PRELIMINARIES The following two propositions are true: (1) For all sets X, A, B such that A ∈ Fin X and B ⊆ A holds B ∈ Fin X. (2) For every set X and for every family F of subsets of X such that ...
متن کاملTwo classes of locally compact sober spaces
We deal with two classes of locally compact sober spaces, namely, the class of locally spectral coherent spaces and the class of spaces in which every point has a closed spectral neighborhood (CSN-spaces, for short). We prove that locally spectral coherent spaces are precisely the coherent sober spaces with a basis of compact open sets. We also prove that CSN-spaces are exactly the locally spec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Missouri Journal of Mathematical Sciences
سال: 2008
ISSN: 0899-6180
DOI: 10.35834/mjms/1316032836